ELAN : A logical framework based
نویسندگان
چکیده
ELAN implements computational systems, a concept that combines rewriting logic with the powerful description of rewriting strategies. ELAN can be used either as a logical framework or to describe and execute deterministic as well as non-deterministic rule based processes. We present the general features of the language and outline some of the applications it has been used for.
منابع مشابه
ELAN: A logical framework based on computational systems
ELAN implements computational systems, a concept that combines rewriting logic with the powerful description of rewriting strategies. ELAN can be used either as a logical framework or to describe and execute deterministic as well as non-deterministic rule based processes. We present the general features of the language and outline some of the applications it has been used for.
متن کاملELAN from a rewriting logic point of view
ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or to describe and execute deterministic as well as non-deterministic rule based processes. With the general goal to make precise a rewriting logic based semantics of ELAN, this paper has three contributions: a presentati...
متن کاملREM (Reduce Elan Machine): Core of the New ELAN Compiler
ELAN is a powerful language and environment for specifying and prototyping deduction systems in a language based on rewrite rules controlled by strategies. It offers a natural and simple logical framework for the combination of the computation and deduction paradigms. It supports the design of theorem provers, logic programming languages, constraint solvers and decision procedures. ELAN takes f...
متن کاملThe rewriting calculus as a semantics to strategy application. Application to ELAN
Objects like rewrite rules and strategies are of very general use and interest in computer science. They are especially useful when modeling inference based systems like logical frameworks, theorem provers, constraint solvers, expert systems, transition systems. In order to formalize the concept of rule application, we have designed a calculus of explicit rule application called the rewritingor...
متن کاملNon-deterministic Computations in ELAN
The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for experimenting their combination. The ELAN language is based on rewriting logic and evaluation of labelled conditional rewrite rules. ELAN has two originalities with respect to several other algebraic languages, namely to handle n...
متن کامل